About dual cube theorems

Citations about Gödel’s Theorems

This is a short account of various notes and opinions about Gödel’s theorems I found in my books. It should ease the task of actually writing something about Gödel’s First Incompleteness Theorem. Citations about Gödel’s Theorems

Theorems about Composition

Basic Theorems About Security

We build a mathematical structure in which we can ask questions about the methods for achieving security properties, such as confidentiality and integrity, and functionality properties, such as safety and liveness. The structure allows us to consider many different choices for the meaning of “confidentiality” and “integrity” and so on, and to compare and contrast security properties with functi...

On constrained dual recoverability theorems

In a recent paper [“Paretian Welfare Judgements and Bergsonian Social Choice,” Economic Journal, Vol. 109, 1999, pp. 204-220], Suzumura proposed a possible way of relating the two schools of “new” welfare economics. According to his proposal, the logical possibility of the Paretian “new” welfare economics can be reduced to the constrained dual choice-functional recoverability of the Pareto-comp...

Theorems about quadrilaterals and conics

Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opin...